Construction of lebesgue measure and the main theorem